Erdős–Rado theorem